計算可能性 (computability)
計算可能関数 - Wikipedia
Curry-Howard 對應
カリー=ハワード同型対応 - Wikipedia
Cartesian 閉圈 (CCC)
(Cartesian closed category)
チャーチ=チューリングのテーゼ - Wikipedia
万能
Turing 機械
チューリングマシン - Wikipedia#万能チューリングマシン
チューリング完全 - Wikipedia
λ計算
(lambda caliculus)
μ再歸函數
(歸納的函數)
μ再帰関数 - Wikipedia
原始再歸函數
原始再帰関数 - Wikipedia
歸納的集合
歸納的型
歸納的可算集合 (recursively enumerable set)
帰納的可算集合 - Wikipedia
RE (recursively enumerable)
RE (計算複雑性理論) - Wikipedia
歸納的可算言語
(recursively enumerable language)
帰納的可算言語 - Wikipedia
combinatory 論理
(combinatory logic)
項書き換へ
(term rewriting)
計算可能性理論 - Wikipedia
再帰理論 - Wikipedia
計算モデル - Wikipedia
帰納言語 - Wikipedia
R (計算複雑性理論) - Wikipedia
計算可能性 (computability)
に就いての論理
Logics for computability - Wikipedia
計算可能性論理 (CoL)
計算論理
Computational logic - Wikipedia
ではない。これは論理を計算する事を硏究する
體系の全ての定理が
計算可能性 (computability)
な證明を持つ事を
決定可能性 (decidability)
と呼ぶ
実現可能性 (論理学) - Wikipedia
これは表現ってやつでは???